punch marking - Deutsch Englisch Wörterbuch